Bootstrapping a Forth for Art
tia.mat.br·6h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
I Built an AI-Powered Developer Onboarding Platform in 6 Hours (And You Can Too!)
dev.to·12h·
Discuss: DEV
🔄Reproducible Builds
Just in Time Code Generation Withing WebAssembly
wingolog.org·18h·
Discuss: Hacker News
🌐WASI
Condor's Cuzco RISC-V Core at Hot Chips 2025
old.chipsandcheese.com·11h·
Discuss: Lobsters, Hacker News
⚙️Modern Assembly
LLMs running locally
markjgsmith.com·7h
🌀Brotli Internals
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2h·
Discuss: Hacker News
🔩Systems Programming
Tradeoffs of Highly-Expressive Types
jnkr.tech·9h·
Discuss: Hacker News
🎯Gradual Typing
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Google Summer of Code 2025 Reports: Asynchronous I/O Framework
blog.netbsd.org·11h
🔩Systems Programming
Macroexpand-Deep 2025 – the first Clojure AI conference
scicloj.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
Micro DSLs for scenario tests with Rust macros
dystroy.org·5h
🦀Rust Macros
Codeminer42 Dev Weekly #76
blog.codeminer42.com·1d
🔄Language Evolution
Why AI Alone Fails at Large-Scale Code Modernization
thenewstack.io·13h
🔄Language Evolution
Using LLMs for Intel Processor Code Trace Analysis
alansguigna.com·1d·
Discuss: Hacker News
🔩Systems Programming
Asio-gRPC: Asynchronous gRPC with Asio/unified executors
github.com·14h·
Discuss: Hacker News
⚡gRPC
Antonio Cuni: Porting the JIT to CLI (part 3)
antocuni.eu·1d
⚔️Lean Tactics
A type system for RCL (2024)
ruudvanasseldonk.com·10h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Tinyrenderer second edition: software rendering in 500 lines of bare C++
haqr.eu·9h·
Discuss: Hacker News, r/programming
📟Terminal Physics
Quirks of Common Lisp Types
fosskers.ca·5h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects